#автоматическое доказательство теорем04.08.2025
ByteDance представляет Seed-Prover: прорыв в автоматическом доказательстве математических теорем
ByteDance представила Seed-Prover — инновационную систему доказательства на основе лемм, которая добилась прорывных результатов, решив 5 из 6 задач IMO 2025 и превзойдя множество других бенчмарков.